Merge pull request #2030 from jlebon/pr/2020.3
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Sat, 14 Mar 2020 15:17:21 +0000 (16:17 +0100)
committerGitHub <noreply@github.com>
Sat, 14 Mar 2020 15:17:21 +0000 (16:17 +0100)
Release 2020.3


Trivial merge